Friday, October 4

• More on grammars; regular grammars